Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🌳 Pattern Match Compilation
Decision Trees, Exhaustiveness, Guards, ML Compilers
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
184963
posts in
12.5
ms
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
19h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
22h
🔍
Type Inference
I
Fuzzed
, and Vibe Fixed, the
Vibed
C Compiler
john.regehr.org
·
8h
·
Discuss:
Lobsters
,
Hacker News
🩺
Compiler Diagnostics
Mastering
Technical Interviews A Practical Guide to the Algorithms That
Appear
Again and Again
dev.to
·
8h
·
Discuss:
DEV
📚
Suffix Arrays
Invariant-Driven
Automated
Testing
arxiv.org
·
22h
🧪
Compiler Testing
BinEnhance
: An Enhancement Framework Based on External Environment
Semantics
for Binary Code Search
papers.cool
·
22h
🔄
Binary Translation
Show HN: Product Model – A structured
grammar
for bridging
PRDs
and code
github.com
·
9h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
Programming
in K
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Understanding the Go
Compiler
internals-for-interns.com
·
18h
🐹
Go Internals
Maximally minimal specialization: always
applicable
impls
smallcultfollowing.com
·
14h
⚡
Partial Evaluation
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
📈
Monotonic Logic
Fast
Autoscheduling
for Sparse ML
Frameworks
fredrikbk.com
·
2d
·
Discuss:
Hacker News
🚀
MLton
Optimizing
Recommendation Systems with
JDK
’s Vector API
netflixtechblog.com
·
1h
🔀
SIMD Programming
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
6h
🔤
String Algorithms
Qwen 3.5 9B, 4B models beating
30B
,
80B
models
huggingface.co
·
7h
·
Discuss:
Hacker News
🏁
Language Benchmarks
`
derive
_
parser
` – Automatically
derive
a
parser
from your syntax tree
github.com
·
17h
·
Discuss:
r/rust
🦀
Rust Macros
🐥 Optimizing
nested
array operations in PHP: from O(
3n
) to O(n)
yellowduck.be
·
1d
🌳
Tree Shaking
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Theorem Provers
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
VeriBin
: Adaptive Verification of
Patches
at the Binary Level
papers.cool
·
22h
🎯
Symbolic Execution
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help